lógica simbólica - vertaling naar spaans
Diclib.com
Woordenboek ChatGPT
Voer een woord of zin in in een taal naar keuze 👆
Taal:

Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT

Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:

  • hoe het woord wordt gebruikt
  • gebruiksfrequentie
  • het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
  • opties voor woordvertaling
  • Gebruiksvoorbeelden (meerdere zinnen met vertaling)
  • etymologie

lógica simbólica - vertaling naar spaans

RAMA DE LA LÓGICA APLICADA A LAS MATEMÁTICAS
Lógica simbólica; Logica formal; Logica matematica; Vocabulario (logica); Logica simbolica; Vocabulario(Logica); Lógica matematica; Logica matemática; Logica simbólica; Vocabulario (lógica); Lógica formal

lógica simbólica         
(n.) = symbolic logic
Ex: Mathematical logic is a branch of mathematics, which grew out of symbolic logic.
lógica matemática         
(n.) = mathematical logic
Ex: Mathematical logic is a branch of mathematics, which grew out of symbolic logic.
simbólico         
  • Diferentes representaciones del símbolo de la cruz.
  • Símbolos religiosos.
REPRESENTACIÓN PERCEPTIBLE DE UNA IDEA
Simbolo; Símbolos; Simbología; Simbologia; Simbólico; Simbolos; Simbolico; Lenguaje simbolico; Simbólicos; Simbólica; Símbolos religiosos
= symbolic, nominal, token, emblematic.
Ex: The duration of the cycle varies markedly from institution to institution, dependent upon the importance that society attaches to the symbolic realities specific to the institution.
Ex: The old-time indoor apprentices, who had boarded and lodged with the printer and received only nominal wages, were mostly replaced by outdoor apprentices who found their own board and lodging and were paid wages according to their skill and experience.
Ex: None of these methods has been particularly enduring because none of them involved more than a token amount of research.
Ex: The image of the white peacock stands out in the text as emblematic or allegorical.
----
* lógica simbólica = symbolic logic.
* suma simbólica de dinero = symbolic sum of money.

Definitie

IF
(FRECUENCIA INTERMEDIA) Frecuencia producida en un circuito heterodino cuando la frecuencia de un oscilador local está mezclada con la señal de radiofrecuencia entrante. Rango de 50 a 140 Mhz.

Wikipedia

Lógica matemática

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,[1]​ es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio de los fundamentos de las matemáticas.

La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como la lógica proposicional, la lógica de primer orden o la lógica modal. Estos sistemas capturan las características esenciales de las inferencias válidas en los lenguajes naturales, pero al ser estructuras formales susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la computabilidad. La teoría de la demostración y la teoría de modelos fueron el fundamento de la lógica matemática. La teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los temas más desafiantes e importantes de la lógica matemática, desde el teorema de Cantor, el axioma de elección y la cuestión de la independencia de la hipótesis del continuo, al debate moderno sobre grandes axiomas cardinales. La lógica matemática tiene estrechas conexiones con las ciencias de la computación. La teoría de la computabilidad captura la idea de la computación en términos lógicos y aritméticos. Sus logros más clásicos son la indecidibilidad del Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-Turing. Hoy en día, la teoría de la computabilidad se ocupa principalmente del problema más refinado de las clases de complejidad (¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de insolubilidad.

La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos como conjuntos, números, demostraciones y algoritmos. La lógica matemática estudia las reglas de deducción formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades metalógicas de los mismos.

En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La teoría de la demostración y la matemática inversa son dos de los razonamientos más recientes de la lógica matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es un método para descubrir verdades del mundo físico real, sino solo una fuente posible de modelos lógicos aplicables a teorías científicas, muy especialmente a la matemática convencional.


Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos pero con lenguaje informal con algunos signos o diagramas, sino solo de demostraciones y razonamientos que se pueden formalizar por completo.